Eléments de l'association

	Italie	288
	Christophe Ringeissen	129
	Italie *Sauf* Christophe Ringeissen"	281
	Christophe Ringeissen *Sauf* Italie"	122
	Italie Et Christophe Ringeissen	7
	Italie Ou Christophe Ringeissen	410
	*Corpus*	24195

List of bibliographic references

Number of relevant bibliographic references: 7.

Ident.	Authors (with country if any)	Title
000C18	Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Catherine Meadows [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France]	On Asymmetric Unification and the Combination Problem in Disjoint Theories
000C88	Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Catherine Meadows [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France]	Asymmetric Unification and the Combination Problem in Disjoint Theories
001141	Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France]	Hierarchical Combination of Unification Algorithms
001578	Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew M. Marshall [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France]	Hierarchical Combination
002815	Christopher Lynch [États-Unis] ; Silvio Ranise [Italie] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [Namibie]	Automatic decidability and combinability
002E32	Duc-Khanh Tran [Allemagne] ; Christophe Ringeissen [France] ; Silvio Ranise [Italie] ; Hélène Kirchner [France]	Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation
005507	David Déharbe [Brésil] ; Pascal Fontaine [France] ; Silvio Ranise [France, Italie] ; Christophe Ringeissen [France]	Decision Procedures for the Formal Analysis of Software

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022